|
1.
|
Grid computing : second European Acrossgrids conference, Axgrids 2004, Nicosia, Cyprus, January 28-30, 2004, revised papers
by Dikaiakos, Marios D. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2004Availability: Items available for loan: [Call number: 004 DIK] (1).
|
|
2.
|
Service availability : first international service availability symposium, ISAS 2004, Munich, Germany, May 13-14, 2004 ; revised selected papers
by Reitenspiess, Manfred | Kaiser, Jorg | Malek, Miroslaw. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 MAL] (1).
|
|
3.
|
Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday
by Kreowski, Hans-Jorg | Montanari, Ugo | Orejas, Fernando | Rozenberg, Grzegorz. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2005Availability: Items available for loan: [Call number: 004 KRE] (1).
|
|
4.
|
Trust Management : Third International Conference, iTrust 2005 Paris, France, May 23-26, 2005 ; proceedings
by Herrmann, Peter | Issarny, Valerie | Shiu, Simon. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 HER] (1).
|
|
5.
|
Formal Techniques for Computer Systems and Business Processes : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings
by Bravetti, Mario | Kloul, Leila | Zavattaro, Gianluigi. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 BRA] (1).
|
|
6.
|
Cryptographic Hardware and Embedded Systems - CHES 2003: 5th International Workshop Cologne, Germany, September 8-10, 2003: Proceedings
by Wlater, Colin D | Koc, Cetin Kaya | Paar, Christof. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 WLA] (1).
|
|
7.
|
Performance Engineering : State of the Art and Current Trends
by Dumke, Reiner | Rautenstrauch, Claus | Schmietendorf, Andreas | Scholz, Andre. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2001Availability: Items available for loan: [Call number: 004 DUM] (1).
|
|
8.
|
Cryptographic Hardware and Embedded Systems CHES 2001: Third International Workshop Paris, France, May 14-16, 2001 Proceedings
by Koc, Cetin Kaya | Naccache, David | Paar, Christof. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 004 KOC] (1).
|
|
9.
|
Grid Computing--GRID 2001 : Second International Workshop, Denver, CO, USA, November 12, 2001 ; Proceedings
by Lee, Craig A. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 004 LEE] (1).
|
|
10.
|
Audio system for technical readings
by Raman, T. V. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 1998Availability: Items available for loan: [Call number: 004 RAM] (1).
|
|
11.
|
Management of Multimedia Networks and Services: 6th IFIP/IEEE International Conference, MMNS 2003 Belfast, Northern Ireland, UK, September 7-10, 2003: Proceedings
by Marshall, Alan | Agoulmine, Nazim. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 MAR] (1).
|
|
12.
|
Cryptographic Hardware and Embedded Systems - CHES 2000: Second International Workshop Worecester, MA, USA 17-18, 2000 Proceddings
by Koc, Cetin Kaya | Paar, Christof. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2000Availability: Items available for loan: [Call number: 004 KOC] (1).
|
|
13.
|
On-line Error Detection and Fast Recover Techniques for Dependable Embedded Processors
by Pflanz, Matthias. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2002Availability: Items available for loan: [Call number: 004 PFL] (1).
|
|
14.
|
Software and Compilers for Embedded Systems : 7th International Workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003 : Proceedings
by Krall, Andreas. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 KRA] (1).
|